<?php
class ResponseJSON extends ResponseData
{
	public $header = null;
	
	public function __toString()
	{
		return json_encode((array)$this);
	}
}
?>